formal verification
n. 形式验证
[网络] 形式化验证；正式验证；正规验证
热门查询
- TYNEMOUTH n. 泰恩茅斯（英国英格兰东北部港市）
- cacophony n. 刺耳的音调；不和谐音
- Arafat 阿拉法特（人名）
- mincer n. 碎肉器（等于mincing machine）；说话吞吐的人 n. (Mincer)人名；(英)明瑟
- handel n. 汉德尔（生于德国的英国作曲家）
- sooth n. 真实 adj. 真实的
- CE abbr. 化学工程师（Chemical Engineer）；总工程师（Chief Engineer）；土木工程师（Civil Engineer）；英国国教（Church of England）；欧洲理事会（Council of Europe）
- coke n. 可口可乐（等于Coca-Cola）
- calamari n. 鱿鱼，炸鱿鱼；炸花枝 n. (Calamari)人名；(法、意、英)卡拉马里
- videocassette n. 录影带
- arterial adj. [解剖] 动脉的；干线的；像动脉的
- guerrilla n. 游击战；游击队
- dachshund n. 达克斯猎狗（一种短腿长身的德国种猎犬）
- brisk adj. 敏锐的，活泼的，轻快的；凛冽的 vt. 使……活泼；使……轻快；使……兴旺 vi. 活跃起来；变得轻快 n. (Brisk)人名；(法、芬)布里斯克
- demobilisation n. 出场, 遣散
- occupation n. 职业；占有；消遣；占有期
- telltale n. 迹象；指示器；搬弄是非者 adj. 报警的；泄密的；搬弄是非的
- trent n. 特伦特（男子名）；特伦托河（英格兰中部河流）
- focal point n. 集中点；活动中心 [网络] 焦点；重点；聚焦点
- alteration n. 修改，改变；变更
考试词汇表
- Jālore(Jālor)
- K Phos Original
- K ras Oncogenes
- K'idamē Gebeya
- K'idanē Gebeya
- K'īlt'u Gebeya
- K-P calculation
- K-Phos Original
- K-ras Oncogenes
- K-reactive dyes
- K-regular graph
- KD-reactive dye
- KDPH synthetase
- KDRF cDNA clone
- KE-reactive dye
- KEK synchrotron
- KK K Y sequence
- KK R Y sequence
- KKR calculation
- KN-reactive dye
